$\vdash$  $\forall$$a$,$b$:Atom. Dec($a$ = $b$)